a_st="Hello, World!!!"
print("a_st="..string.char(0x22)..a_st..string.char(0x22))
print("string.lower(a_st)="..string.char(0x22)..string.lower(a_st)..string.char(0x22))


